The Generic Multiple-Precision Floating-Point Addition With Exact Rounding (as in the MPFR Library)
نویسنده
چکیده
We study the multiple-precision addition of two positive floating-point numbers in base 2, with exact rounding, as specified in the MPFR library, i.e. where each number has its own precision. We show how the best possible complexity (up to a constant factor that depends on the implementation) can be obtain.
منابع مشابه
An Experimental Analysis of Floating-Point Versus Exact Arithmetic
In this paper we investigate how sophisticated floatingpoint codes that are in real-world use – VRONI for computing Voronoi diagrams, FIST for computing triangulations, and BONE for computing straight skeletons – can benefit from the use of the Core library (for exact geometric computing) or the MPFR library (for multiprecision arithmetic). We also discuss which changes to the codes were necess...
متن کاملSIPE: a Mini-Library for Very Low Precision Computations with Correct Rounding
SIPE is a mini-library in the form of a C header file, to perform radix-2 floating-point computations in very low precisions with correct rounding, either to nearest or toward zero. The goal of such a tool is to do proofs of algorithms/properties or computations of tight error bounds in these precisions by exhaustive tests, in order to try to generalize them to higher precisions. The currently ...
متن کاملArbitrarily Accurate Computation with R: The Rmpfr Package
The R package Rmpfr allows to use arbitrarily precise numbers instead of R’s double precision numbers in many R computations and functions. This is achieved by defining S4 classes of such numbers and vectors, matrices, and arrays thereof, where all arithmetic and mathematical functions work via the (GNU) MPFR C library, where MPFR is acronym for“Multiple Precision Floating-Point Reliably”. MPFR...
متن کاملAsserting the Precision of Floating-Point Computations: a Simple Abstract Interpreter1
interpreter for threat detection and test case generation. In Proceedings of WAPATV’01 (ICSE’01), May 2001. [5] G. Hanrot, V. Lefevre, F. Rouillier, and P. Zimmermann. The MPFR library. Institut de Recherche en Informatique et Automatique, 2001. [6] N. D. Jones and S. S. Muchnick. A flexible approach to interprocedural flow analysis and programs with recursive data structures. In Proceedings of...
متن کاملTuning Technique for Multiple Precision Dense Matrix Multiplication using Prediction of Computational Time
Although reliable long precision floating-point arithmetic libraries such as QD and MPFR/GMP are necessary to solve ill-conditioned problems in numerical simulation, long precision BLAS-level computation such as matrix multiplication has not been fully optimized because tuning costs are very high compared to IEEE float and double precision arithmetic. In this study, we develop a technique to sh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/cs/0505027 شماره
صفحات -
تاریخ انتشار 2004